|
Robert "Bob" Lee Constable is a professor of computer science and first and former dean of the department at Cornell University, USA. He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL system. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, and Robert Harper.〔(【引用サイトリンク】 title=Robert Lee Constable )〕 He is a Fellow of the Association for Computing Machinery. Constable has been a director of the Marktoberdorf Summer School. ==Selected publications== * R. L. Constable and M. J. O'Donnel. ''A Programming Logic'', Winthrop, Cambridge, 1978. * R. L. Constable, S. D. Johnson and C. D. Eichenlaub. ''An Introduction to the PL/CV2 Programming Logic''. In Lecture Notes in Computer Science 135, Springer-Verlag, 1982 * PRL Group. ''Implementing Mathematics with the Nuprl Proof Development System''. Prentice-Hall, Engelwood Cliffs, NJ, 1986. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Robert Lee Constable」の詳細全文を読む スポンサード リンク
|